projects / cargo.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d23ddec 3a87d00)
Auto merge of #1981 - alexcrichton:git-stamp-if-dead, r=brson
authorbors <bors@rust-lang.org>
Wed, 9 Sep 2015 23:26:08 +0000 (23:26 +0000)
committerbors <bors@rust-lang.org>
Wed, 9 Sep 2015 23:26:08 +0000 (23:26 +0000)
We already take this strategy for extracting tarballs from crates.io for
example, so this just applies the same strategy to checkouts of git repos.

Closes #1979


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.